$\forall$$p$:FinProbSpace, $f$:($\mathbb{N}\rightarrow\mathbb{N}$), $X$:($n$:$\mathbb{N}\rightarrow$RandomVariable($p$;$f$($n$))). rv{-}iid($p$;$n$.$f$($n$);$n$.$X$($n$)) $\in$ $\mathbb{P}$